Model Aggregation for Hierarchical Control Synthesis of Discrete Event Systems

نویسندگان

  • Haoxun Chen
  • Hans-Michael Hanisch
چکیده

A model aggregation approach is developed for discrete event systems described by condition/event automata, a class of condition/event systems. It is based on input-output equivalence of the systems. With the approach, a higher level model of a plant in the hierarchical control synthesis of discrete event systems can be derived from a lower level model by hiding insignificant states and events while keeping the input-output behaviour of the plant invariant in view of the higher level.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Hierarchical Supervisory Control of Discrete Event Systems Based on State Aggregation

This paper presents a hierarchical control theory for discrete event systems based on state aggregation and advanced control structures. The proposed hierarchical structure consists of two levels, a low-level represented by the classical model of Ramadge-Wonham, and a high-level, obtained by state aggregation. In this model, the high-level events are a subset of the low-level events, but for co...

متن کامل

Hierarchical control of timed discrete-event systems

An abstract hierarchical control theory is developed lbr a class of timed discrete-event systems (TDES) within the discrete-event control architectural framework proposed earlier by the authors. For this development, a control theory for TDES is introduced in the spirit of a prior theory of Brandin. A notion of time control structures is introduced, and on its basis a general property of hierar...

متن کامل

Hierarchical control of discrete-event systems

This paper is an overview of the current research on hierarchical control of discrete-event systems. Four major approaches are identified and described: bottom-up design, top-down design, state aggregation, and interface-based design. The research examined is grouped into these sections, in an attempt to unify the terminology and concepts where possible without an in-depth theoretical investiga...

متن کامل

Recent Developments in Discrete Event Systems

This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...

متن کامل

Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)

A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000